21. Verification of reactive systems
المؤلف: / Klaus Schneider
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computer systems -- Verification,Formal methods (computer science),Computer algorithms
رده :
QA
76
.
76
.
V47S34
2004
22. Verification of reactive systems :
المؤلف: Klaus Schneider.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)
رده :
QA76
.
76
.
V47
K538
2004
23. Verification of reactive systems: formal methods and algorithms
المؤلف: Schneider, Klaus
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms
رده :
QA
76
.
76
.
V47
.
S34
2003
